MODULAR ANTIPERMISSIVE CONTROL OF DISCRETE-EVENT SYSTEMS
نویسندگان
چکیده
منابع مشابه
Modular Antipermissive Control of Discrete-event Systems
The paper concerns modular supervisory control of discrete-event systems (DES), where the overall system is composed of subsystems that are combined in a synchronous (parallel) product. Recently it has been shown that under very general conditions closed-loop languages under permissive control policy (introduced by coinduction as a new operation called supervised product) distribute with the sy...
متن کاملPartial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملModular Multitasking Supervisory Control of Composite Discrete-event Systems
A modular approach for efficiently dealing with multiple tasks and multiple specifications in the supervisory control of composite discrete-event systems (DES) is presented. Colored marking generators are used to distinguish classes of tasks in supervisory control of DES, which allows the synthesis of optimal supervisors that are nonblocking with respect to multiple control objectives. A local ...
متن کاملControl of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis for the supremal controllable sublanguage, for t...
متن کاملModular Supervisory Control of Large Scale Discrete Event Systems
This paper presents an approach for reducing computational efforts in the synthesis of modular supervisors for discrete event systems. Most of large scale systems are represented by the composition of several smaller subsystems. To avoid the design on a single, often large plant, modular supervisors are synthesized on local models, which are constructed from those subsystems that are related to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2005
ISSN: 1474-6670
DOI: 10.3182/20050703-6-cz-1902.00301